#!/bin/sh

EXEEXT="@EXEEXT@"
top_srcdir="@top_srcdir@"
TOPCOM_CD=@TOPCOM_CD@

ISL_CD='--chamber-decomposition=isl'
for i in "$top_srcdir"/tests/ehrhart/*; do
    if test -f $i; then
	echo $i;
	for options in '' '--series' '--series --primal' $TOPCOM_CD $ISL_CD; do
	    for spec in 'random' 'bf' 'df'; do
		opt="--specialization=$spec $options";
		echo "        $opt";
		./barvinok_enumerate$EXEEXT --verify $opt < $i || exit;
	    done
	done;
	opt="--index=4";
	echo "        $opt";
	./barvinok_enumerate$EXEEXT --verify $opt < $i || exit;
	opt="--summation=bernoulli";
	echo "        $opt";
	./barvinok_enumerate$EXEEXT --verify $opt < $i || exit;
    fi
done
